• ( Operahallens Restaurant.