Hi, willkommen zurück bei OpenStreetMap :)

Hast du eine Quelle für die Namensänderung?
Ich habe mal auf Wikipedia geguckt und dort scheint sie noch anders zu heißen
https://de.wikipedia.org/wiki/Lanker_See#Inseln_im_Nordteil_des_Lanker_Sees

Allerdings habe ich auch keine Lokalkenntnisse
Gab es eine Änderung?
