Otto Vossler — German historian (1902–1987)