Het is geen probleem de juiste tijd van een ntpserver op te halen, maar die dingen weten het verschil tussen zomer- en wintertijd niet. Tot nog toe haal ik dan de juiste tijd van mijn eigen server. Maar zijn er ook algemene timeservers in Nederland die de zomer- en wintertijd opgeven? -- Dr. J.J. Paijmans