// Scrollen ##########################################################################################
var timer = null; // Leerer Timer zum scrollen
		function scroll_down(toscroll){
			clearTimeout(timer);
			d=document.getElementById(toscroll)
			y=d.scrollTop;
			if(y<d.scrollHeight-d.offsetHeight){ 
				y+=2;
				d.scrollTop=y;
				timer=setTimeout('scroll_down(\"'+toscroll+'\")',10);
			}
			else{
				clearTimeout(timer);
			}
		} 
		function scroll_up(toscroll){
			clearTimeout(timer);
			d=document.getElementById(toscroll)
			y=d.scrollTop;
			if(y<d.scrollHeight+d.offsetHeight){
				y-=2;
				d.scrollTop=y;
				timer=setTimeout('scroll_up(\"'+toscroll+'\")',10);
			}
			else{
				clearTimeout(timer);
			}
		}
		function stopScroll(){
			clearTimeout(timer);
		}
// Mausrad ##########################################################################################
        function MouseScroll (event) {
            var rolled = 0;
            if (event.wheelDelta === undefined) {   // Firefox
                    // The measurement units of the detail and wheelDelta properties are different.
                rolled = -40 * event.detail;
            }
            else {
                rolled = event.wheelDelta;
            }
            
            var info = document.getElementById ("textDiv");
            
			if(rolled>0) {
				scroll_up("textDiv");
				scroll_up("textDiv");
				scroll_up("textDiv");
				scroll_up("textDiv");
				scroll_up("textDiv");
				scroll_up("textDiv");
				scroll_up("textDiv");
				stopScroll();
			}
			if(rolled<0) {
				scroll_down("textDiv");
				scroll_down("textDiv");
				scroll_down("textDiv");
				scroll_down("textDiv");
				scroll_down("textDiv");
				scroll_down("textDiv");
				scroll_down("textDiv");
				stopScroll();
			}
			
        }

        function Init () {
			
                // for mouse scrolling in Firefox
            var elem = document.getElementById ("textDiv");
            if (elem.addEventListener) {
                elem.addEventListener ("DOMMouseScroll", MouseScroll, false);
            }
        }
// Google ##########################################################################################		
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));