Text this: Hitler's executioner :