e r h n s — såsom Stora teatern numera officielt kallas —började