"Republic"

for the purposes of the definition of "domestic shareholder", includes any state the territory of which formerly formed part of the Republic;