var Monatsname = ["01.", "02.", "03.", "04.", "05.","06.", "07.", "08.", "09.", "10.","11.", "12."];
function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return date.getDate() + ". "+ Monatsname[date.getMonth()] + ". " + date.getYear();
}