Die Grenze ist kein sog. https://wiki.openstreetmap.org/wiki/Disputed_territories, sondern "einfach" nicht definiert.
Ich glaube "wir" müssen einfach damit leben.
Die Grenzziehung im See wird übrigens in der DACH-Region immer mal wieder diskutiert, siehe auch im OSM-Forum hier: https://c.osm.org/t//121578
