De server staat nochtans juist ingesteld op zomer/wintertijd. Maar om 1 of andere reden werkt dat niet bugfree: als ik het verzet dan veranderen de headers om 1u 's nachts ipv middernacht. Enfin, ik heb geen zin om me er teveel in te verdiepen eerlijk gezegd: ikzelf zet bij 'user control panel' de zomertijd af en mijn klok staat daarmee juist. In maart of april zet ik ze weer aan
