“a biography of Johannes Kepler”