"rough vacuum pump" Deutsche bedeutung