Las bombas drenaban el exceso de agua subterránea de las minas.