Anonymous - 2014-10-30

Sorry: Problem behoben: der docFetcher hatte nach Neuinstallation auf neuem Rechner noch einen alten Index. Den musste ich löschen und neu anlegen. Nur neu erstellen hat obigen Fehler ergeben.