function enlargemiddle(){
	fs = parseFloat(document.getElementById('mspalte').style.fontSize);
	fsneu = fs*1.15;
	fsneu = fsneu+"em";
	document.getElementById('mspalte').style.fontSize = fsneu;
}
function shrinkmiddle(){
	fs = parseFloat(document.getElementById('mspalte').style.fontSize);
	fsneu = fs*0.87;
	fsneu = fsneu+"em";
	document.getElementById('mspalte').style.fontSize = fsneu;
}