// Sorgt, eingebunden in die Startseite, dafür, dass zur URL im Dropdownfeld gesprungen wird

 function jump() {
  ziel=document.form1.menu.options[document.form1.menu.selectedIndex].value;
  document.form1.menu.selectedIndex = 0;
  window.location=ziel;
 }