In memoriam: Jørgen Stender Clausen