Peter Paret — German cultural historian, military historian, regional historian, historian and author (1924–2020)