function tausch1 (elem_tau,elem_neu) {
//ein bild gegen ein anderes austauschen

document.images[elem_tau].src = elem_neu;
}
//bilder-tausch bei rollover




function tausch2 (elem_tau,elem_neu,elem_tau2,elem_neu2) {
//zwei bilder gleichzeitig gegen ein anderes austauschen

document.getElementById(elem_tau).src = elem_neu;
document.getElementById(elem_tau2).src = elem_neu2;
}
//bilder-tausch bei rollover


function tausch3 (elem_tau,elem_neu) {
//zwei bilder gleichzeitig gegen ein anderes austauschen

document.getElementById(elem_tau).src = elem_neu;
}
//bilder-tausch bei rollover