In memoriam Eduard Punset