Thanks,
that solved the Problem.
Nevertheless, in the user options mediawiki says "Server time" 10:51,
Local Time: 12:51, difference: 2". It would be great if there was a note
telling the user that "server time" is meant as UTC without any Timezone
information.
with regards,
Heiner