"degasifier gas cooler" Deutsche bedeutung