<!--
function setfocus(){
  document.x.suchbegriff.focus();
  document.x.suchbegriff.select();
}
// -->