Beginn der Wartungsarbeiten an Gaspipeline Nord Stream 1, Mögliche Alternativen zum russischen Gas, Die Börse