var Monatsname = ["Januar", "Februar", "März", "April", "Mai","Juni", "Juli", "August", "September", "Oktober","November", "Dezember"];
var Tagname = ["Sonntag", "Montag", "Dienstag", "Mittwoch","Donnerstag", "Freitag", "Samstag"];
function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
var Std = date.getHours();
var Min = date.getMinutes();
var StdAusgabe  = ((Std < 10) ? "0" + Std : Std);
var MinAusgabe  = ((Min < 10) ? "0" + Min : Min);
return Tagname[date.getDay()] + ", den " + date.getDate() + ". "+ Monatsname[date.getMonth()] + " " + date.getYear() + " " + "um" +" "+ StdAusgabe + "." + MinAusgabe + " " + "Uhr";
}