Dermot McCarthy — Irish civil servant