function bild_vergroessern(nr) {
      document.getElementById('bild_klein_' + nr).style.display = "none";  
      document.getElementById('bild_gross_' + nr).style.display = "block";
}

function bild_verkleinern(nr) {
      document.getElementById('bild_klein_' + nr).style.display = "inline";  
      document.getElementById('bild_gross_' + nr).style.display = "none";          
}