würde mich nicht wundern, wenn es korrekt übersetzt ist (das linke zeichen ent4hält mindestens so viel information wie “translate server”)