Leute sollten sich zuerst besser mit Linux auseinandersetzen, bevor sie
es auf ihrem eigenen PC installieren und dabei moeglicherweise noch was
kaputtmachen. Alternativ gibts hier ja die Linux-Install-Party.
Des Weiteren spart man sich so die Linux-Images in
/proj/ciptmp/fsi/linuxkurs