荒煤气是用高压氨水来冷却的。