function bildwechsel(bildpfad){

document.getElementById("bildgross").src = bildpfad;
document.getElementById("bildgrosslink").href = bildpfad;

}