Danke!
Wo kann man denn unter den Netzwerkeinstellungen das ptbtime3.ptb.de einstellen? Also ich finde die Netzwerkeinstellungen bei mir nirgendwo.
NTP habe ich unter Allgemein eingestellt.