richtig, dort ist ein Ampelgesteuerter Fußgängerüberweg, der durch 2 Ampeln gesteuert wird. Daher ist das zusätzliche mappen der Ampeln NICHT falsch sondern entspricht der Realität.
siehe auch https://wiki.openstreetmap.org/wiki/DE:Tag:crossing%3Dtraffic_signals
"In der Nähe kann auf einem weiteren Punkt eine Ampel (highway=traffic_signals) für den Straßenverkehr eingetragen werden."

Daher waren diese Ampeln ja zusätzlich mit "traffic_signals=pedestrian_crossing" gekennzeichnet, also als reine Fußgängerampel. Wenn das Routing dadurch beeinflusst wird sollte das Penalty für Ampeln mit "traffic_signals=pedestrian_crossing" runter gesetzt oder entfernt werden, aber nicht die Ampeln.

Zrop