<!--
	function setSearchFocus() {
		if (document.search) {
			document.search.query.focus();
			document.search.query.select();
		}
	}
	function oeffnefenster (url) {
		var fenster=window.open(url, "fenster1", "width=620,height=620,status=no,scrollbars=no,resizable=no");
		fenster.focus();
	}
-->