<!--
lastmod = document.lastModified;		// holt String von last modified date
lastmoddate = Date.parse(lastmod);		// date umwandeln in msec seit 1970
now = new Date(lastmod);				// nimm String als neues Datum 'now'
year = now.getFullYear();				// convert modified string to year
month = now.getMonth();					// convert modified string to month
var Monat = new Array("Januar","Februar","M&auml;rz","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");
day = now.getDate();					// convert modified string to date
	
if((navigator.appVersion).substring(0,1)<4 && (navigator.appName).substring(0,1)=='M'){
  	//IE 3.0
}else{

	if(lastmoddate != 0){  			// unknown date (or January 1, 1970 GMT)
		if (blep == 1){
			document.writeln("[letzte &Auml;nderungen: " + day + ". " + Monat[month] + " "+  year + "]");
		}else{
			document.writeln("[Planungsstand: " + day + ". " + Monat[month] + " "+  year + "]");
		}
	}
}	
//-->

