( f. d. Opera-Boulevarden ).