Gazprom, the Russian company that supplies natural gas to much of Europe, recently took their NordStream 1 pipeline down for routine maintenance. This is something that they do regularly in the su…