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