Brazil’s GDP: shrinking