Rudolf von Thadden — German historian (1932-2015)