Germany buys 40% of its gas from Russia, via the Nord Stream 1 pipeline. These contracts are in euros and…