J . von Ehrenheim , fr. ,prof.