Loading: Robert Muller (1923-2010): A truly happy man