Translation of "Pump strainer" in German