Erster Supercomputer im Weltraum läuft mit Linux