// JavaScript Document
// Javascript gibt das Datum der letzten Dateiänderung aus!
	    var dLM = new Date(Date.parse(document.lastModified));
		var year = dLM.getFullYear();
        var month = dLM.getMonth();
        var day = dLM.getDate();
		var month_long;
function datei_datum()
       {
    	if (day<10) day = "0"+day;
		switch(month)
	    {
			case (0):  month_long = " Januar "; break;
			case (1):  month_long = " Februar "; break; 
			case (2):  month_long = " März "; break;
			case (3):  month_long = " April "; break;
			case (4):  month_long = " Mai "; break;
			case (5):  month_long = " Juni "; break;
			case (6):  month_long = " Juli "; break;
			case (7):  month_long = " August "; break;
			case (8):  month_long = " September "; break;
			case (9):  month_long = " Oktober "; break;
			case (10):  month_long = " November "; break;
			case (11):  month_long = " Dezember "; break;
			default: month = month+1; if (month<10) month = "0"+month; month_long = month+"."; break;
		}    
		document.write("<font><span class=text> <strong>Letzte Aktualisierung am:</strong> "+day+"."+month_long+year+"</span></font>")
       }