//browser identifizierenvar ie = (navigator.userAgent.indexOf('MSIE')!=-1);var macos = (navigator.platform.indexOf('Mac')!=-1);var dom = (document.getElementById) ? 1 : 0; var ie4x = (document.all && !document.getElementById ) ? 1 : 0; var ns4x = (document.layers) ? 1 : 0; var ns70 = (navigator.userAgent.indexOf('Netscape/7.0')!=-1);var other = (!dom && !ie4x && !ns4x ) ? 1 : 0; var opera = (navigator.userAgent.indexOf('Opera')!=-1);var ie = (navigator.userAgent.indexOf('MSIE')!=-1);//box um link entfernenfunction nobox(){ 	if (opera || other){return false;}	if (ie4x){window.focus();} 	if (dom){document.getElementById("fixbox").focus();} } function checkBrowser() {	if (ie && macos) {		top.location.href="browser/browsertrouble.html";	} 	if (ie4x || ns4x || ns70) {		top.location.href="browser/browsertrouble.html";	}}//umlaute fuer msg-Box (nicht in betrieb)var ae = String.fromCharCode(228);//vars fuer pfeile ein-/ausvar contentheight = 0;var bottomheight = 0;var margintop = 48;// abstand scrolltext von obenvar scrollonoff = 0;//off//scroll-variablenvar scrollpos = 0;var scrollminY = 0;var scrollmaxY = 0;//wird spaeter ausgerechnetvar scrollflag = 0;var scrollspeed = 25;var scrolloffset = 8;var oldscrolloffset = 8;var scrollwheeloffset = 20;var scrolltext = '';var scrolltarget = 0;var lineheight = 16;var ganzzahl = 0;var rest = 0;//rest einer ganzzahl-division zurueckgebenfunction modulo(zahl,div) {	ganzzahl = Math.floor(zahl/div);	rest = zahl - (ganzzahl*div);	return rest;}//scroll-layer finden, startposition ermitteln (on load)function initScroll() {	if (ns4x) {		scrolltext = eval(document.scrolltext);	} else {		if (dom) {			scrolltext = eval("document.getElementById('scrolltext').style");		} else {			scrolltext = eval(document.all.scrolltext.style);		}	}	scrollminY = parseInt(scrolltext.top);}//scrollenfunction scrollnow(dir) {	scrollpos = parseInt(scrolltext.top) + (scrolloffset * dir);	if (scrollflag == 1 && scrollpos <= scrollminY) {		if (scrollpos > scrollmaxY) {			scrolltext.top = scrollpos;			window.setTimeout('scrollnow('+dir+')',scrollspeed);		} else {			stopscroll(dir);		}	}}//scroll starten (on mouse down)function startscroll(dir) {	//hoehe inhalt holen und max. scrollpos. ermitteln	if (dir==-1) {		checkscroll();		scrollmaxY = fensterhoehe() - contentheight - bottomheight - lineheight;	} else {		scrollmaxY = -100000;//unendlich beim hochscrollen	}		//vorzeitigen stop bei erhoehten tempo (scrollwheel) verhindern	scrollpos = parseInt(scrolltext.top) + (scrolloffset * dir);	if (scrollpos > scrollminY) {		scrolloffset = oldscrolloffset;	}	if (scrollpos < (scrollmaxY+scrolloffset)) {		scrolloffset = oldscrolloffset;	}	//jetzt scrollen	scrollflag = 1;	scrollnow(dir);}//scroll stoppen (on mouse up)function stopscroll(dir) {	nobox();	scrollflag = 0;		//weiterscrollen bis zum zeilenraster	scrollpos = parseInt(scrolltext.top);	scrolltarget = modulo(scrollpos-scrollminY, lineheight);	if (scrolltarget != 0) {		scrolltext.top = scrollpos + dir;		window.setTimeout('stopscroll('+dir+')',scrollspeed);	} else {		scrollmaxY = scrollpos;//nach bremsen maxY neu setzen	}}function fensterhoehe() {	if (window.innerHeight) {		return window.innerHeight;	} else if (document.body && document.body.offsetHeight) {		//ie		return document.body.offsetHeight-5;//ie-bug	} else {		return 0;	}}function checkscroll() {	// hoehe inhaltsfeld	// hoehe div unten	//ie	if (ie4x) {		contentheight = parseInt(document.all.scrolltext.scrollHeight);		bottomheight= parseInt(document.all.unten.style.height);	} else {		contentheight = parseInt(document.getElementById("scrolltext").offsetHeight);		bottomheight= parseInt(document.getElementById("unten").style.height);	}	//ggf. pfeile ein-/ausblenden	if (margintop + contentheight + bottomheight > fensterhoehe()) {//ein		scrollonoff = 1;		if (ie4x) {			document.all.scrollpfeile.style.display="block";		} else {			document.getElementById("scrollpfeile").style.display="block";		}	} else {//aus		scrollonoff = 0;		if (ie4x) {			document.all.scrollpfeile.style.display="none";		} else {			document.getElementById("scrollpfeile").style.display="none";		}		scrolltext.top = scrollminY;	}}window.onresize = checkscroll;//verschiedene browser = verschiedene event-artenfunction hookEvent(element, eventName, callback) {	if(typeof(element) == "string") {		element = document.getElementById(element);	}	if(element == null) {		return;	}	if(element.addEventListener) {		if(eventName == 'mousewheel') {			element.addEventListener('DOMMouseScroll', callback, false);		}		element.addEventListener(eventName, callback, false);	} else if(element.attachEvent) {		element.attachEvent("on" + eventName, callback);	}}function unhookEvent(element, eventName, callback) {	if(typeof(element) == "string") {		element = document.getElementById(element);	}	if(element == null) {		return;	}	if(element.removeEventListener) {		if(eventName == 'mousewheel') {			element.removeEventListener('DOMMouseScroll', callback, false);		}		element.removeEventListener(eventName, callback, false);	} else if(element.detachEvent) {		element.detachEvent("on" + eventName, callback);	}}function cancelEvent(e, wheeldir) {	e = e ? e : window.event;	if(e.stopPropagation) {		e.stopPropagation();	}	if(e.preventDefault) {		e.preventDefault();	}	e.cancelBubble = true;	e.cancel = true;	e.returnValue = false;	if (scrollonoff ==1) {		scrolloffset = oldscrolloffset;		stopscroll(wheeldir);	}	return false;}function scrollwheel(e) {	if (scrollonoff ==1) {		e = e ? e : window.event;		//scrollrichtung: detail = +; wheelData = -;		var wheeldata = e.detail ? e.detail : (e.wheelDelta*-1);		if (wheeldata > 0) {			var wheeldir = -1;		} else {			var wheeldir = 1;		}		//oldscrolloffset = 4;//(???)		scrolloffset = scrollwheeloffset;		startscroll(wheeldir);	}	cancelEvent(e, wheeldir);}//e-mailfunction nachrichtAn(mailname,mailbude,mailkuerzel) {	var adresse = 'mailto:'+mailname+'@'+mailbude+'.'+ mailkuerzel;	top.location.href=adresse;}