var tag = ["", "", "", "","", "", ""];
var monat = [" Januar", " Februar", " März", " April", " Mai", " Juni", " Juli", " August", " September", " Oktober", " November", " Dezember"];
function modifyString()
{
  var date = new Date();
  var ergebnis = "";
	var stunde;

  date.setTime(Date.parse(document.lastModified));  // z.B. Millisekunden seit 1.1.1970 <-- (10/27/2001 07:00:00)
  
  ergebnis = tag[date.getDay()] + " ";
	if (date.getDate() < 10){
	  ergebnis = ergebnis + "0";
	}
	ergebnis = ergebnis + date.getDate() + "."+ monat[date.getMonth()] + " " + date.getFullYear();
  
  return ergebnis;
}
document.write(modifyString());