Home Headlines Germany’s gas crisis in charts: Pipeline repair, and then what?