Of the gas GER uses, 40% is Russian (@GeorgZachmann ´s data). Of that, 1/2 can be brought by tanker, so need to be replaced 20%.
GER uses 30% of gas for electricity, so you don´t need to replace any of the gas for industry!
Just 2/3s of the gas used to generate electricity