In Memoriam Martien van Hooff