Detlef Gromoll (1938-2008)
Last modified
: April 15, 2009.