Weltweiter PC-Markt schrumpft im Q1 2020 um knapp 10 Prozent