The time server setting knob presents a list with 5 servers and a text field. My first idea was, that I can enter the IP of my own server into this field. But this is only a filter for the 5 entries of the list.