Deichsler, Heinrich — entry in the Allgemeine Deutsche Biographie