— DUBLIN den 15 fehr.