Der Umsatz kletterte im Jahresabstand um fünf Prozent auf 9,37 Milliarden Dollar (8,61 Milliarden Euro). Dabei verbesserte sich die Bruttomarge auf 15,5 (14,4) Prozent, gab der Konzern am Donnerstag bekannt.