Das ging schnell - Neuer Name des Sees bei Kartendienst angezeigt

Wait 5 sec.

Nach der See-Umbenennung taucht der neue Name jetzt bei Google Maps auf.