AB 1981, 233:CRvB, 11-09-1980, nr. ABPW1979/50: dubbeltelling Indiëpensioen