(Deutsch) Neues Geoportal der “Marinen Daten-Infrastruktur Deutschland (MDI-DE)“ ist Online Date: 11. July 2023