It dit solve the problems. Thank you.
I think it would be an improvement to delete the servertime-option from the admin-menu, since it is misleading. I never had time-problems until now using that option (server is in the right timezone and has daylightsaving.
Thanks all of you again for your help. About the script.. I had it run, so it should now work for all my users