Mine Pumping in Agricola's Time and Later - Multhauf, Robert P., 1919-2004