Tölken, Ernst Heinrich — entry in the Allgemeine Deutsche Biographie