Beneke, Friedrich Eduard — entry in the Allgemeine Deutsche Biographie