<!--
var fontsize=100;
function textSize(dec) {
fontsize+=(dec==10)?10:(-10);
if (fontsize<10) fontsize=10;
document.getElementById("Scrollbereich").style.fontSize=""+fontsize+"%";
}
//-->