"vacuum pump" Deutsche bedeutung