Change hifistest.desy.de to hifis.net, when available