--- ntp_servers: - ptbtime1.ptb.de - ntp1.rrze.uni-erlangen.de - ntps1-0.cs.tu-berlin.de ntp_peers: - 172.23.2.3