function bwe(stelle,quellstamm)
  { document.images[stelle].src = "gra/" + quellstamm + ".jpg"; }