En tysk lärd ,prof.