Denmark’s energy supply