Existiert "webdav" und darin die Verzeichnisse nicht, so gibt
es ansonsten unschöne Fehlermeldungen im Webserverfehlerlog,
und der Benutzer bekommt die am.pl zum Download angeboten.
AuÃ\9ferdem darf der Benutzer seine Webdav-Einstellungen eh nicht
Àndern -- das geht nur aus dem Admin-Bereich heraus.