So in dem Pulldown-Menü Umgebung, wahle ich jetzt "Neue Umgebung..." aus.

Dies ist immer besser, denn sollte aus irgendwelchen Gründen die vorgenommenen Einstellungen nicht funktionieren, kann ich durch umstellen der Umgebung wieder auf die alten Einstellugen wechseln und wieder online gehen. Wenn ich die alten Einstellungen nur überschreiben würde, kann es passieren, das ich zum Beispiel nicht mehr ins Internet komme.
Bei wechselnden Arbeitsplatzen ist diese Option ebenfalls von Vorteil. Ansonsten müsste ich jedesmal die Daten andern.