Is it the case that in every year, the sum of the total electricity produced in High income: OECD and total electricity produced in Portugal is greater than the total electricity produced in Indonesia ?