Gartner verzeichnet zweistelligen Rückgang auf dem Servermarkt