Robert Micklewright 1923-2013