Red Hat steigert Umsatz im Quartal weiter