Robert Klippel (1920-2001)