"degasifier vacuum pump" Deutsche bedeutung