Gas infrastructure can smooth Germany’s energy transition