The importance of gas infrastructure for the German Energiewende