$${9400\, \mathrm{GWh}}$$