Hofmann, Franz — entry in the Allgemeine Deutsche Biographie