Hans Müller, Astronom