¿Qué fue de la vida de El Mini?