Because crude oil is priced in US dollars, and the dollar has depreciated against the euro, European consumers have gotten off relatively easy from rising energy prices. So an energy tax roughly equal to the euro’s 33% appreciation in recent years would be about right.