function heightInhalt() {
	var divOben = document.getElementById('oben');
	var divLinks = document.getElementById('links');
	var divInhalt = document.getElementById('inhalt');
	divInhalt.style.height = 'auto';
	divInhalt.className = '';
	var hClient = document.documentElement.clientHeight;
	var hOben = divOben.offsetHeight;
	var hLinks = divLinks.offsetHeight;
	var hInhalt = divInhalt.offsetHeight;
	var paddingBottom = 30;
	var hSpace =  hClient - hOben - paddingBottom;
	
	if (hInhalt > hSpace) {
		if (hLinks > hSpace) {
			hSpace = hLinks;
		}
		divInhalt.style.height = hSpace + 'px';
		divInhalt.className = 'scroll';
	}
}