¿Quién se ha muerto? Juan del Huerto.