Garnett, Richard, 1923-2013