La minería hidráulica había sido previamente desarrollada por los romanos.