/**
 * Funktionen zum Handling des Sprachen-Flyouts
 */
function displayLangFlyout(){
	document.getElementById("sprachwahl").style.visibility = "visible";
}
 
var lang_timeout;

function startLangTimeout(){
  lang_timeout = window.setTimeout("deleteLangFlyout();", 500);
}

function endLangTimeout(){
  window.clearTimeout(lang_timeout); 
}

function deleteLangFlyout(){
  document.getElementById('sprachwahl').style.visibility = "hidden";
}