function getsucheText() {
  if (document.getElementById("sucheingabe").value=="") {
    document.getElementById("sucheingabe").value="Suche";
  }
}


function deletesucheText() {
  if (document.getElementById("sucheingabe").value=="Suche") {
    document.getElementById("sucheingabe").value="";
  }

}