Im Grunde einfacher als gedacht. Zunächst vergeben wir den neuen Namen mit netdom als Alternativnamen wie folgt:

Dann setzen wir den Alternativnamen als zukünftigen neuen Namen wie folgt:

Jetzt werden wir aufgefordert den Server neu zu starten, was wir auch machen sollten. Nachdem Neustart entfernen wir den alten Namen erneut mit Hilfe von netdom wie folgt:

Und um unser Gewissen zu beruhigen, führen wir noch ein dcdiag aus und ptüfen ob alles sauber durchgelaufen ist.

Das war es acuh schon.