Die Rotationszeit des Planeten Mars. - Widorn, Thomas (Hölder-Pichler-Tempsky, 1938)