zimba
Regarding the mapping of the traffic lights: From looking at the wiki pages and https://help.openstreetmap.org/questions/1489/how-to-tag-traffic-lights-on-pedestrian-crossing/1492 it seems that the tag combination (highway=crossing + crossing=traffic_lights) denotes pedestrian crossing (the wiki doesn't say if crossing=traffic_signals means that the car traffic has a traffic light there), and highway=traffic_signals denotes traffic lights for cars. Maybe not the best tagging scheme, but this junction looks "correct" to me.