Richard Symonds - English academic and civil servant (1918–2006)