Johannes Kepler - Zinner, Ernst (Colemans kleine Biographien, 1934)