function searchSubmit()
{
  var searchBox = document.getElementById("searchBox");
  if (searchBox)
  {
    searchFor = searchBox.value;
    searchFor = searchFor.replace("ä","ae");
    searchFor = searchFor.replace("ö","oe");
    searchFor = searchFor.replace("ü","ue");
    searchFor = searchFor.replace("Ä","Ae");
    searchFor = searchFor.replace("Ö","Oe");
    searchFor = searchFor.replace("Ü","Ue");
    searchFor = searchFor.replace("ß","ss");
    searchBox.value = searchFor;
  };
  return true;
}