Form 1116 would show if tax is paid/owed to Germany, which reduces tax owed to US, to avoid double taxation. This is not sale of primary residence, of course. This is the same corporation that has been paying her payroll wages, dividends, and as investment capital gain.