Hochdruck, Pumpe