@gappy3000 @jeffbercovici Oh yeah, forgot about those. I think the case of Lehrer is peculiar. (BTW, "Lehrer" is German for "teacher")