De caelesti hierarchia, etc.