Wie viel Geld steckte IBM 2000 in die Entwicklung von Linux?