Thanks for fixing my apparently outdated information about the traffic lights! Sorry for that.

Sorry for the mistake and thanks for spotting it so fast!

Oh thanks for the clarification! I admit it was back in September when I was there myself and only added the information now based on the notes I took on my phone back then. I assume your information is more up-to-date then (?) It so, I'll remove it of course!