dels att stänga den k. teatern eller bereda tillfälle för dess personal att spela på någon annanteater