In Memoriam: Arent Jan Krijgsman