Heidegger and Hitler’s war