Pumpen Technisches Handbuch. (Berlin, 1972)