Back in the 80s I worked for six years in Switzerland. (I have dual US-Swiss citizenship)
I was employed and paid by a Swiss company; I was not a tranfer employee from a U.S. company.
During that time, a portion of my salary was credited, _before tax_, to a Swiss retirement account that was essentially like a 401(k). Upon my returning to the U.S. all that was in that account was transferred to another Swiss account similar to a retirement IRA here in the USA.
I have now reached regular retirement age according to Swiss law and thus I have elected to close the account and take a lump sum distribution.
The Swiss administrator has paid the lump sum a few weeks ago, minus Swiss taxes. They will refund the Swiss taxes if I can prove to them that I have paid taxes here in the USA on the lump sum distribution. Apparently, there is an agreement between the US and Switzerland in order to avoid double taxation that allows that.
How do I handle it with the IRS? What forms do I need to attach to my
2022 form 1040?