musical “Mr. Hamlet”