IBM kauft Red Hat für 34 Milliarden Dollar