Mine Pumping in Agricola's Time and Later