// Suche ein/ausblenden
function ShowOptions() {
	document.getElementById("subcontainer").style.display = "";
	document.getElementById("showsearchoptions").style.display = "none";
	document.getElementById("hidesearchoptions").style.display = "";
}

function HideOptions() {
	document.getElementById("subcontainer").style.display = "none";
	document.getElementById("showsearchoptions").style.display = "";
	document.getElementById("hidesearchoptions").style.display = "none";
}