Wat zijn de hostnames voor de timeservers die KPN gebruikt?

Wat zijn de hostnames voor de timeservers / pool (NTP of soortgelijk)  die KPN in gebruik heeft?

Ik kon ze zo gauw niet vinden, of ik kwam uit bij oude topics.

Ik kwam zelf uit op:

• ntp.kpn.net
• time.kpn.com

Mogelijk is dit in de tussentijd veranderd, dus misschien handig om een up to date lijstje te hebben.

Mocht hier al een topic of instructie over bestaan dan hoor ik graag waar ik die kan vinden :) 

Weet iemand toevallig ook of op de TV+ Box de NTP server standaard hardcoded ingesteld staat, of dat deze via DHCP / anders toegewezen wordt?

Mooi alternatief  overigens is de server van SIDN: ntp.time.nl