Danke für die Antwort. Du hast die Änderung hochgeladen; ich nehme mal an, dass das nicht beabsichtigt war.

Leider weiß ich gerade aber auch nicht, wie man in Gnome Maps Orte mit eigens vergebenem Namen abspeichert.