The pressure divider - A device for reducing gas-pipe-line pumping-energy requirements