function change_beispiel(id,produkt,txt)
{
  document.getElementById("beschreibung").innerHTML = txt;
  document.getElementById("beispiel_gross").src = "images/produkte/"+produkt+"/beispiel_"+id+".gif";
}