ping.dsf.tuhh.de steht bereit.