för serveringslokalerna inom det under byggnad warande operahuset.