// Textdatei auslesen
/*
Firefox 1.7
Internet Explorer 7.0
*/
function LeseDatei(dateiname) {
  var dateiinhalt="";
  var req;
  // Firefox 1.5 XML-HTTP-Request
  if (window.XMLHttpRequest) {
    req = new XMLHttpRequest();
    req.open("GET", dateiname, false);
    req.send(null);
    dateiinhalt = req.responseText;
    }
  else   // IE 6 ActiveX
    if (window.ActiveXObject) {
      req = new ActiveXObject("Microsoft.XMLHTTP");
      req.open("GET", dateiname, false);
      req.onreadystatechange=function() {
                               if (req.readyState == 4) {
                                 dateiinhalt = req.responseText;
                                 }
                               }
      req.send(null);
      }
  return dateiinhalt;
  }