Jochmann, Carl Gustav — entry in the Allgemeine Deutsche Biographie