//Bernd JavaScript


//Ebenen aus- und einblenden

function einblenden(div) {
  with(document.getElementById(div).style){
    if(display=="none"){
      display="inline";
    }
    else{
      display="none";
    }
  }
}
// in a-Tag einbinden: onClick="einblenden('Layername'); return false;




/*Aktualisierungsdatum*/
function datum()
{
	mn=new Array("Jan.","Febr.","März","April","Mai","Juni","Juli","Aug.","Sept.","Okt.","Nov.","Dez.")
	d=new Date(document.lastModified)
	m=mn[d.getMonth()]
	t=d.getDate()
	jj=d.getYear()
	j=(jj>=2000)?jj:((jj<80)?jj+2000:jj+1900)
	dat=(t+". "+m+" "+j)
}