In memoriam, Wolfgang Dehn (6 juillet 1909-29 mai 2001). (2000)