<!-- Verstecken für ältere Browser --
function sprung(form)
{
var zielseite=form.zielwahl.selectedIndex
if (form.zielwahl.options[zielseite].value != "0")
{
location=form.zielwahl.options[zielseite].value;
}
}
// Ende Verstecken -->