IDC: Servermarkt wächst stark