In memoriam: David J. Damas (1926-2010)