SIA: mondiale omzet halfgeleiders aug USD 13,42 mrd (+4%)