Ian Anstruther — English peer and history writer (1922–2007)