Erdgasversorgung von Deutschland über Pipelines im Jahr 2020