"regenerative gas cooler" Deutsche bedeutung