— Operahusets nya restaurationslokal , omhvats