function volltextsuche(suchbegriff) {
	document.getElementById('wb_search').value = suchbegriff;
	document.getElementById('wb_search_form').submit();
	}