1. Impact of carbon revenue on EU gross domestic product