function sprache(s){
  document.getElementById('deutsch').style.display = "none";
  document.getElementById('englisch').style.display = "none";
  
  document.getElementById(s).style.display = "block";
  
}
function hide(div){
 var url=document.URL;
 var Ergebnis  = url.search(/pisearch.+/);
 if (Ergebnis != -1)
 	document.getElementById(div).style.display = "none";
}