Buxbaum, Johannes Christian — entry in the Allgemeine Deutsche Biographie