Josephson, Erland, 1923-2012