Så kom Hamlet på Stora teatern.