Irlanda salió de recesión en el segundo trimestre al crecer un 0,4%