In Memoriam: Herinneringen aan Leon Deben