Ich möchte den Servernamen ändern, weil mir der aktuelle zu lang und zu kompliziert ist. Habe ich da mit Problemen zu rechnen? Insbesondere bei bestehenden Netzwerkverbindungen? Oder stellt sich das dann automatisch um?