Server-Markt legt 7,5 Prozent zu