Яка грошова одиниця Ірландії була у зверненні до запровадження євро 2002 року?