Paul Jenkins (1923-2012)