Citrix steigert Umsatz um 7 Prozent auf 742 Millionen Dollar