Hallo Thomas,

danke für den Hinweis, du hast recht!
Das war ein bug, ich habe ihn gleich gefixt!
https://www.openstreetmap.org/changeset/155990160
Keine Ahnung, wie ich diesen bug zusammengebracht habt :)

LG
Gerald