If you are qualified, you can file an amended return to show the tax paid to Germany. You can get a credit for all or some of that tax on your US tax and get a refund. See Form 2555 available at
www.irs.gov.
If you can't figure it out you will need to find a professional to assist you.
