Ä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