Hab auch mal google befragt, genau 1 Treffer...
Kein Wunder, dass die Datei nicht existiert.
Das stimmt SO nicht - da gibt es schon einige mehr !!!
Die Trefferzahl bei Google ist ja bekanntlich abhängig davon, was man als Suchbegriff eingibt...
Trotzdem sind solche "Problemnchen" da, um gelöst zu werden :(
Plattmachen sollte immer die letzte Wahl sein.
Aber jeder soll es so machen, wie er es für richtig hält
Und anscheinend klappts ja jetzt auch wieder
MfG
Balam_