The German term "Pumpe" matches the English term "pump"