edit history De:pool:u1.041 U1.041 Ein zentraler Rechnerpool mit 11 PCs: pool-u-041-08 pool-u-041-09 pool-u-041-10 pool-u-041-11 pool-u-041-04 pool-u-041-05 pool-u-041-06 pool-u-041-07 nil pool-u-041-01 pool-u-041-02 pool-u-041-03