function Filtern(ort,urlort,urlstaat,staat)
{ var Filter = 'filter-' +  ort;
  var Name = escape(document.getElementById(Filter).Name.value.toLowerCase());	
  Name=Name.replace('\n',''); 
  location.replace("/guia-de-empresas-" + ort + "/l1c1-e-o1c1-" + urlort + "-p1c1--b1c1-0-s1c1-" + staat + "-n1c1-" + Name + ".html");
}