Bock, Hieronymus — entry in the Allgemeine Deutsche Biographie