$${80\, \mathrm{kWh}}$$