function checkMenu(checkbox, karte){
	var ja = checkbox.checked; // oder vielleicht nein?
	var thema =  checkbox.value
	OpenCloseMenu(thema, ja)
	if(karte && map) ShowHideKat(thema, ja);
}

function OpenCloseMenu(thema, ja){
	if (thema>0){
		document.getElementById("thema" + thema).style.visibility = (ja)?"visible":"hidden";
		document.getElementById("thema" + thema).style.display = (ja)?"block": "none";
	}
}