Changed list of always online computers
From now on, next to the terminal servers (faui0sr0, faui06, ircbox), only the following groups of computers are permanently switched on: faui00*, faui05*, faui0c*
-- Thomas Preisner