Russian gas: What happened if Germany runs out of it ?