Paul Cormier neuer Präsident und CEO von Red Hat