Translation of "Pumpendichtung" in English