Stora operan i Ambroise Thomas ’ » Hamlet »,