Schöpft eine versicherte Person ihre Restarbeitsfähigkeit pensenmässig nicht aus, obwohl ihr dies vom
medizinischen Standpunkt her gesehen zumutbar wäre, ist der bei geringerem Pensum
tatsächlich erzielte Lohn für die Ermittlung des Invalideneinkommens auf ein medizinisch
zumutbares Pensum (im Fall des Beschwerdeführers also: 80%) hochzurechnen (Urteil
des Bundesgerichts 9C_720/2012 vom 11. Februar 2013 E. 2.3.2). Bei richtiger Anwendung der dargestellten Rechtsgrundlagen und Rechtspraxis hätte sich daher bereits im
Zeitpunkt der ursprünglichen Rentenverfügung für die Ermittlung des Invaliditätsgrads des