var Monatsname = ["Januar", "Februar", "März", "April",
"Mai","Juni", "Juli", "August", "September",
"Oktober","November", "Dezember"];
function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return + date.getDate()
+ ". "+ Monatsname[date.getMonth()] + " " +
date.getFullYear();
}