Großgasversorgung: Technik und Wirtschaft der Fernleitung der Gase unter hohem Druck als Grundlage für eine Großgasverwertung der Kohlenenergie in Deutschland mit zentraler Gaserzeugung in den Steinkohlen- und Braunkohlen-Revieren