förhyras för operans verksamhet.