Title: Mine pumping in Agricola's time and later
Subjects: History, Mine pumps, Mining machinery