Schlechtes erstes Halbjahr 2019 für den globalen Servermarkt