In memoriam Colin de Jong