In Memoriam Johannes Arie van Leijden