Wenn die Uhr mal wieder falsch tickt und die voreingestellten Amiserver nicht zu erreichen sind, mal den Zeitserver hier probieren:
ntps1-0.cs.tu-berlin.de
Danke, Alex.