Hermann Heidegger — German historian (1920–2020)