SIA: mondiale omzet halfgeleiders juni USD 11,35 mrd (-0,2%)