function zoom_out(id) {
      document.getElementById(id+"_klein").style.display = "none";  
      document.getElementById(id+"_gross").style.display = "block";          
}

function zoom_in(id) {
      document.getElementById(id+"_klein").style.display = "inline";  
      document.getElementById(id+"_gross").style.display = "none";           
}