Industriewachstum in Thailand im Juli 2020 (reale Veränderung gegenüber Juli 2019, in Prozent)