Hoffmann the nutcracker and the mouse king