Do you need to be an Irish citizen to be a Civil Servant?