function dis(nbr)
 {
  document.links[nbr].href = '#'
 }

function startAni()
 {
  document.ani.src='Bilder/Animation-der-Pluto-Monde.gif'
 }

function stopAni()
 {
  document.ani.src='Bilder/Animation-der-Pluto-Monde-stop.gif'
 }

function startAni2()
 {
  document.ani2.src='Bilder/Animation-der-doppelt-gebundenen-Rotation.gif'
 }

function stopAni2()
 {
  document.ani2.src='Bilder/Animation-der-doppelt-gebundenen-Rotation-stop.gif'
 }