Retirement tax questions

For U.S. income tax purposes, lawful permanent residents (green card holders) are considered resident aliens.  As a US resident she is required to report her German SS income on a US tax return.  As stated in the tax year 2018 IRS Publication 915