Segundo o IBGE (Instituto Brasileiro de Geografia e Estatística), a produção industrial em maio cresceu 5,3%, comparada com o mesmo mês no ano passado (JB).