Exner, Adolf — entry in the Allgemeine Deutsche Biographie