Boeken over Pumps and Pumping: a Hand-Book for Pump Users ; Being Notes on Selection, Construction, and Management