function getLastModified() {
var d = new Date(document.lastModified), res, value,
    browser = parseInt(navigator.appVersion),
    months = "JanFebMarAprMayJunJulAugSepOctNovDec";

   value = d.getYear();
   if (value<70) {value += 2000};
   if (value<1000) {value += 1900};
   if ((value>=1900) && (value<1970)) {value += 100};
   if (browser<4) { res = String(d.getDate())+". "+d.getMonth()+". "+value+", "+d.getHours()+":" }
   else { res = String(d.getDate())+" "+months.substr(3*(d.getMonth()),3)+" "+value+", "+d.getHours()+":" };
   value = d.getMinutes();
   if (value<10) { res += "0"+value } else { res += value };
   return res;
}
function xwrite(){

document.write("<table width='100%' border='0' align='center'>");
document.write("<tr><td><hr COLOR='#99cc00'></td></tr><tr>");
document.write("<td><center><font size='1' face='Verdana, Arial, Helvetica, sans-serif' color='#999999'>Letzte &Auml;nderung am:&nbsp;<b>");
document.write(getLastModified(),"</b></font></center></td>");
document.write("</tr></table>");
}