Gartner: Umsatz mit Halbleitern 2023 um 11 Prozent geschrumpft