// Bildwechsel 
function Bildhigh(welches){
window.document.images[welches].src = "en/img/nav/"+ welches +"_h.gif";
}
function Bildnorm(welches){
window.document.images[welches].src = "en/img/nav/"+ welches+"_n.gif";
}

// popup fuer popupfunktion
var newwin;
function popup2(url,name,eigenschaften)
   {
   newwin = window.open(url,name,eigenschaften);
   }