updated the more general ntp.conf.de to contain the rwth-aachen.de server