X Display Manager; Login-Daemon für X-Terminals (http://www.desy.de/cgi-bin/man-cgixdm)