Stefan Nagy
Danke für den Hinweis. Ich habe den Namen eingetragen, siehe https://www.openstreetmap.org/changeset/54821088. Der längste Abschnitt ist eine Treppe – ich weiß nicht, ob der Name von Treppen auf der Karte angezeigt wird.