Is it the case that in every year, the sum of the total electricity produced in Eritrea and total electricity produced in Korea (Republic) is greater than the sum of total electricity produced in Ireland and total electricity produced in Slovenia ?