Hi Jens, you could use the time server to set your PC clock. Look in the man pages for xntpd (I don't know how to do it...) Ciao Michael