The Efficiency Costs of Separating Carbon Markets Under the EU Emissions Trading Scheme: A Quantitative Assessment for Germany