Aus technischen Gründen werden die Linux-Rechner tuxc0..tuxc5 und der Rechner tuxcomp2 stillgelegt. Als Ersatz stehen die Rechner kde01, kde02 und kde03 zur Verfügung. Link: http://linux.uni-hd.de/Hardware Mit freundlichen Grüßen Joachim Lammarsch