Pumpe

... German mining jargon for => pump in mining