Dudenredaktion (Bibliographisches Institut) Dudenredaktion (Bibliographisches Institut). Bibliographisches Institut (Mannheim, Germany)