"rough pumping" Deutsche bedeutung