Yes, apparently the problem was time offset.
Anyway, how do you monitor whether your servers are correcly synchronised? I was looking forward to finding some information about it in the Datacenter: Cluster menu option of the WebGUI, or perhaps in the Summary, but there is none.