PMI industrial da Alemanha sobe para 54,2 em outubro com custos disparando