Price Convergence and Information Efficiency in German Natural Gas Markets