( f. d Opera-Boulevarden ).