stein , Frankfurt a . M . ; astronomen Gautier , Leipzig ; ;prof.