»Wie das russische Erdgas in den Westen kam« – ARTE-Doku darüber, wie DDR-Bürger*innen die größte Erdgasleitung der Welt bauten