OpenSeaMap-dev:De:Karte in Mediawiki einbinden

Vieleicht mit diesen Erweiterungen:

• https://www.mediawiki.org/wiki/Extension:Maps
• https://www.mediawiki.org/wiki/Extension:Kartographer

Peter Grassberger <petertheone@gmail.com>, Jeroen De Dauw <jeroendedauw@gmail.com>