Thanks, it works now!
But I have a new problem. How do I administrate the Wiki? It seems there are two users
called "WikiDeveloper" and "WikiSysop", but no user which I specified
in the AdminSettings.php (whats that good for then?). What are the passwords for them?