function setHeight () 
{ 
	var divNavi = document.getElementById("navigation");
	naviHeight = divNavi.offsetHeight;

	// Contenthoehe entweder auf mind. 500px setzten, oder auf die Hoehe von Navi anpassen
	var divContent = document.getElementById("content");
	if(naviHeight>530)
	{
		divContent.style.minHeight = " " + naviHeight + "px";
	}
	else
	{
		divContent.style.minHeight = "530px";
	}
}