Germany). Lexikonredaktion Bibliographisches Institut (Mannheim