Red Hat hat IBM dieses Quartal gerettet