var Monatsname = ["Januar", "Februar", "März", "April","Mai","Juni", "Juli", "August", "September","Oktober","November", "Dezember"];

function ie_modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return date.getDate() + ". "+ Monatsname[date.getMonth()] + " "+ date.getYear();
}

function ns_modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return date.getDate() + ". "+ Monatsname[date.getMonth()] + " "+ (date.getYear()+1900);
}