The launch of the markets for carbon dioxide emission allowances was guided by the aim to use the supposedly efficient price formation mechanism of an organized exchange to optimally allocate a certain quantity of emissions ...