This is how international investors reclaim the withholding tax on dividends from Ireland. There's so much bullshit on the Internet about this, I just had to write down the steps myself.