Inkoopmanagersindex (PMI) juli 2019 – gelijk gebleven aan juni