Info TSM server "arch" back in operation The server was migrated to new hardware and is now available again. Just to be safe, you should restart your TSM node or empty the DNS cache (should "arch.uni-freiburg.de" not be available).
