Thank you so much, Carl! That is exactly the problem. To understand it, I tried to play with the last year TurboTax, assuming that I received money a year ago (just a test, not on my real tax return). There was no option to deduct taxes which I paid, because tax payment abroad is not a direct deduction, but something that I must do a year after the sale. This is the same as here: We pay taxes for what we received a year ago. It seems that it is difficult to avoid double taxation in this case. I will try to explore it in a more detailed way though.
