server tock.fh-augsburg.de
server timeserver.rwth-aachen.de
server clock.redhat.com