teaterns försäljning och Stora teaterns uthyrande.