Michael Hofmann (translator) Ernst Haffner (author)