Have European Gas Prices Converged