$${\frac{9400\, \mathrm{GWh}}{0,85} = 11058\, \mathrm{GWh}}$$