Implications of the Strait of Hormuz Crisis for Gas Prices in Europe