Stora teaterns portal öppnades i gärsör