Thomas ’ opera » Hamlet ».