GREVERUS, Johann Paul Ernst [Übers.]