// ++++  hier sind alle js-anweisungen zusammengefasst - neu 9.4.2010 Ba
//
// ------------- Anzeigen und vestecken der elemente im dropdown-menue --------------------
function show(element){
     element.className += "hover";
}
function hide(element){
     element.className = element.className = "";
}
// 
// ------------- Flackern bei dropdown-menü verhindern 11.5.09 ----------------------------
//      (von: http://www.gunnart.de/tipps-und-tricks/css-hover-flackern-im-internet-explorer-vermeiden/)
try {
     document.execCommand("BackgroundImageCache", false, true);
	} catch(err) {}
//
// -------------- Sprachwechsel in selectbox - neu 9.4.2010 ------------------------------
function change_l (select) {
     var index = document.Sprache.Auswahl.selectedIndex;
     // alert('Es wurde Index '+document.Sprache.Auswahl.selectedIndex+' gewählt');
     var destination = select.options[select.options.selectedIndex].value;
     if (destination) location.href = destination;
}