Martin v. Löwis wrote:
> As a further datapoint, it would be good to find out whether any of you has NTP enabled, and if so, against what time server. To find out, open the clock settings ("Datums- und Uhrzeiteinstellungen ändern"), and go to NTP tab ("Internetzeit").

My 32-bit box is on a domain, and thus I can't access that tab.
However, according to
HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\DateTime\Servers
(see [1]) it looks to me like NTP is enabled, with 5 servers listed:
time.windows.com followed by 4 different time*.nist.gov servers.

I expect the 64-bit box to be checking time.windows.com; if I find
anything different when I get a chance to look at it, I'll report my
findings.

[1] http://superuser.com/questions/161759/where-do-i-find-the-internet-time-ntp-settings-in-windows-7