/* Datum letzte Änderung */
function lastchng() {
		  var mon=document.lastModified.substring(0,2);
		  var day=document.lastModified.substring(3,5);
		  var yr =document.lastModified.substring(6,19);
          document.write(" [ Zuletzt geändert: " + day + "." + mon + "." + yr + " ]"); 
          }