Astronomie v rudolfínské době - Hadrava, Petr