goaned
Ich habe jetzt mit https://www.openstreetmap.org/changeset/113580910 versucht, dieses Problem selbst zu lösen. Ich weiß nicht, ob es funktioniert hat oder womöglich gar andere Mapping-Regeln bricht.