Ich habe mir auf dem Server mal die Zeit einstellungen unter HKEY LOCAL MACHINE\SYSTEM\CurrentControlSet\Services\W32Time\Parameters angesehen und finde da überhaupt keine der beiden Möglichkeiten.
Unter dem Schlüssel habe ich nur folgende Werte:
(Standard) (Wert nicht gesetzt)
NtpServer SERVER01
ServiceDll C:\WINDOWS\system32\w32time.dll
ServiceMain SvchostEntry_W32Time
Type NoValue
Sollte ich da was anderes eintragen? (Wobei wir ja evtl. vom Thema abweichen...)