Weltweiter Public-Cloud-Markt soll 2020 um 6 Prozent wachsen