Jenkins, Paul, 1923-2012