Belanghebbende woont in Aruba en geniet uit Nederland een ABP -pensioen en lijfrente-uitkeringen. Belastingheffing over de lijfrente-uitkeringen is op grond van art. 20 BRK ter heffing toegewezen aan woonland Aruba, terwijl het APB-pensioen op grond van art. 17 BRK aan Nederland is toegewezen. Aruba dient daarom een belastingvermindering te verlenen ter zake van het ABP-pensioen.