$${4000\, \mathrm{GWh}}$$