Nicholas Kratzer, a mathematician and astronomer