function setWinheight() {
	var contentheight = xHeight('contentcontainer')-2;
	if (contentheight > 0) {
	  if (document.getElementById("links")) document.getElementById("links").style.height = contentheight +"px";
	  if (document.getElementById("mitte")) document.getElementById("mitte").style.height = contentheight +"px";
	  if (document.getElementById("rechts")) document.getElementById("rechts").style.height = contentheight +"px";}
}

function releaseWinheight() {
  if (document.getElementById("links")) document.getElementById("links").style.height = "auto";
  if (document.getElementById("mitte")) document.getElementById("mitte").style.height = "auto";
  if (document.getElementById("rechts")) document.getElementById("rechts").style.height = "auto";
}


setWinheight();