Russia's invasion of Ukraine forced Germany to cut its dependence on gas from the east - and fast.