Pumpen technisches handbuch. (Berlin, 1972)