THOMAS, A.: Hamlet [Opera]