text: 5 juni 2017 : volgens nieuwsbericht 22 april 2017 rijden trams 8 en 10 vanaf 5 jun onder Operaplein; zie ook nabije note betreffende ander verkeer over Leien tussen Violierstraat en Maria-theresialei. 