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