Karlsruhe: actual student server client machine names