Ich hab mal
https://osm.org/node/9861814984
hinzugefügt. Ob das Tor abgeschlossen ist, weiß ich nicht. Ist aber rechtlich gesehen eh egal.
Das Routing-Problem dürfte damit behoben sein, aber man könnte nochmal andere Tore suchen.