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