J . von Ehrenheim , professorS.