I söndags war för teaterwäiiner en högtidsdag.