I have a client that has told me that he withdrew 44,000 from his Danish Pension.  From my quick google searches it appears that pensions from Denmark are exempt from U.S. tax pursuant to the U.S.-Denmark income tax treaty.  

Has anybody had experience with this?

Is a Form 8833 needed?