In der php-Log-history von heute steht nichts (chat5 oder setup kommen bei der Suche gar nicht vor). Was sollte ich dem Server-Admin sagen, was soll er tun? Und was würde passieren, wenn ich die Befehle in setup.php manuell umsetzen würde?