Karte aktualisieren
===================

Durch dieses Werkzeug werden die Karte und alle eingebundenen Kartendienste neu aufgebaut.

Idealerweise muss dieses Werkzeug nie verwendet werden, weil nach jeder Änderungen des Kartenausschnittes oder
Einblenden einer Themenebene, das Aktualisieren automatisch erfolgt.

Treten allerdings Fehler bei der Internetverbindung auf und werden Karten deswegen nicht neu geladen, 
kann dies mit diesem Werkzeug auch nachträglich erzwungen werden.