Theory and Practice of Emissions Trading in the European Union: Some Reflections on Allowance Allocation in Light of the DK Recycling Case