Red Hat steigert Umsatz um 17 Prozent