Neuinstallation der faui0sr0 und faui01

Am 31. Oktober werden die Rechner faui0sr0 und faui01 von 32-Bit auf 64-Bit umgestellt. Dazu werden die Rechner neu installiert. Alle vorhandenen Dateien und Cronjobs werden dabei gelöscht und sollten vorher gesichert werden.

-- Simon Ruderich