Red Hat steigert Umsatz um 15 Prozent