Hallo Johannes,
dankeschön für deine schnelle und hilfreiche Antwort. Ich hab die Artikel durchgelesen, manches davon kapiert und nun gehts: Juhuu.
Hab folgenden Code DIREKT ZWISCHEN dem request.open und dem request.send(null) gesetzt, sieht jetz also so aus:
http_request.open('GET', url, true);
http_request.setRequestHeader("Pragma", "no-cache");
http_request.setRequestHeader("Cache-Control", "must-revalidate");
http_request.setRequestHeader("If-Modified-Since", document.lastModified);
http_request.send(null);
Jetzt wird im IE beim http-request nicht mehr aus der Cache gelesen.
Vielen Dank für deine Hilfe.
Abraxas