Public-Cloud-Markt wächst 2017 um 25 Prozent