Naja, die 9-stufige Treppe ist noch ein, zwei Meter weiter westlich, aber dazu hätte ich auch die Geo der Benzstraße ändern müssen (und den Verbindungspunkt mit dem Nordring).  Korrigiert mit https://www.openstreetmap.org/changeset/147900453, danke für den Hinweis.