Hengstenberg, Ernst Wilhelm (ADB) — entry in the Allgemeine Deutsche Biographie