Les derniers jours de Hitler / Trevor-Roper, Hugh (1914-2003)