I filled my tax for 2016 in the US and I also had to pay tax in Germany for 2016. How can I deduct these tax in the US because I paid "double" tax now? Thanks!