Hallo KartenFreak, vielen Dank für den Hinweis. Unter https://www.openstreetmap.org/changeset/97328125 gibt es eine widersprechende Änderung, die erst ein paar Monate her ist. Ich habe dort nachgefragt und schaue auch selbst noch vorbei, wenn ich mal in der Nähe bin.