The only error in my February 17th posting is that the Netherlands does not tax real estate beyond its borders. (Moreover, it is correct that the Netherlands does not tax retired persons' social security benefits, although the IRS does tax part of them.) Other than that, you can find a more detailed explanation regarding Dutch taxes on its residents' retirement income at https://ttlc.intuit.com/community/tax-credits-deductions/discussion/re-on-form-1116-are-both-403b-pl....
