Jahn, Otto — entry in the Allgemeine Deutsche Biographie