Brucker, Johann Jakob — entry in the Allgemeine Deutsche Biographie