GATT/WTO Rules for Border Tax Adjustment and the Proposed European Directive Introducing a Tax on Carbon Dioxide Emissions and Energy