Retirement tax questions

In addition to the excerpt in my previous post, these are all the documents of the US-Spain Tax Treaty:

https://www.irs.gov/businesses/international-businesses/spain-tax-treaty-documents

Best