In memoriam: Johan van der Keuken