Gartner: Lenovo Spitzenreiter bei weltweiten PC-Verkäufen