My Thoughts on Ambroise Thomas' Hamlet at the Deutsche Oper Berlin