Is it the case that in every year, the sum of the total electricity produced in Brunei Darussalam and total electricity produced in Netherlands is greater than the total electricity produced in Austria ?