Hallo Nielkrokodil
Vielen Dank für den Hinweis, das ist mir beim Mappen entgangen. Der Fehler wurde offenbar gestern korrigiert: https://www.openstreetmap.org/changeset/162024331, https://www.openstreetmap.org/changeset/162025674