“local currency” means –
(a) in relation to a permanent establishment of a person, the functional currency of that permanent establishment (other than the currency of any country in the common monetary area);
(b) in relation to a headquarter company, in respect of amounts which are not attributable to a permanent establishment outside the Republic, the functional currency of that headquarter company;
(c) in relation to a domestic treasury management company, in respect of amounts which are not attributable to a permanent establishment outside the Republic, the functional currency of that domestic treasury management company;
(d) in relation to an international shipping company defined in section 12Q, in respect of amounts which are not attributable to a permanent establishment outside the Republic, the functional currency of that international shipping company; or
(e) in any other case, the currency of the Republic.