för serveringslokalerna inom det under byg nad varande operahuset.