Gartner korrigiert Prognose für PC-Verkäufe nach unten