Entschuldigung, nun auch bei mir. Hatte sogar meinen Browser-Cache gelehrt und neu geladen, aber das Problem blieb vorhin. Wer weiß, was mir der Webserver da entgegengeschmettert hatte.