astronom , professoren m m . rn » g.