It did not occur to me until now that it actually is possible to edit the server field in the Date & Time preferences window and that it is thus possible to use any timeserver one would want to use -- not just those provided by Apple. Just select the existing text and type the address of the server you want to use.
Mac OS X Hints
http://hints.macworld.com/article.php?story=20080326123203721