techo de la fuente agria en Mina Diógenes, MINA DIOGENES