Dudenredaktion (Bibliographisches Institut) Dudenredaktion (Bibliographisches Institut). Deutsches Hydrographisches Institut. Bibliographisches Institut Leipzig.