function ShowHide(elementId)
<!-- none none und block vertauschen falls Karte zuerst ausgeblendet-->
{
	var element = document.getElementById(elementId);
	if(element.style.display != "none")
	{
		element.style.display = "none";
	}
	else
	{
		element.style.display = "block";
	}
}
function UpdateText(element)
{
	if(element.innerHTML.indexOf("Show") != -1)
	{
		element.innerHTML = "Karte";
	}
	else
	{
		element.innerHTML = "Karte";
	}
}