Änderung der Liste dauerhaft eingeschalteter Rechner
Ab sofort sind neben den Terminal-Servern (faui0sr0, faui06, ircbox) nurnoch folgende Rechnergruppen dauerhaft eingeschaltet: faui00*, faui05*, faui0c*
-- Thomas Preisner