Is it the case that in every year, the sum of the total electricity produced in High income and total electricity produced in East Asia (developing only) is greater than the total electricity produced in High income: OECD ?