på den tiden hade man ej i Mexiko , som nu , ängpumpar att torrlägga grufvor med.