James R. Arnold 1923-2012