Beer, Michael (ADB) — entry in the Allgemeine Deutsche Biographie