Red Hat steigert Umsatz um 16 Prozent