In Memoriam: David A. Aleva