Der globale Industrie-PMI erholt sich weiter