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