Murió Jorge Semprún, cronista de la brutalidad del nazismo