(22.5 billion * 3700 kJ) in GWh