// JavaScript Document
	<!-- // JavaScript-Bereich für ältere Browser auskommentieren
	// IEs brauchen definierte Variablen
	if (!window.getComputedStyle) {
		var tickerbox;
		var inter;
		var mtop;
		var tickerboxheight;
		var tickerheight;
	}

	// Funktion scrollt Tickermeldungen zyklisch von unten nach oben
	function scroll () {
		// Erster Aufruf der Funktion?
		if (typeof mtop == 'undefined') {
			// Element per ID ermitteln
			tickerbox = window.document.getElementById ('tickerbox');
			// Event-Handler für das Mouseover-Event
			// Dieser soll den Scrollvorgang anhalten,
			// wenn der Benutzer mit der Maus über die
			// Tickerbox fährt (etwa um einen Link anzuklicken)
			tickerbox.onmouseover = function () {
				window.clearInterval (inter);
			}
			// Ein weiterer Event-Handler für das Mouseout-Event
			// Dieser setzt den Scrollvorgang fort, wenn der
			// Benutzer die Maus aus dem Tickerbereich herausführt
			tickerbox.onmouseout = function () {
				inter = window.setInterval ('scroll()', 60);
			}
			// Computed Style unterstützt?
			if (window.getComputedStyle) {
				// Größe ermitteln
				var style = document.defaultView.getComputedStyle (tickerbox, null);
				tickerboxheight = parseInt (style.getPropertyValue ('min-height'));
				style = document.defaultView.getComputedStyle (tickerbox.firstChild, null);
				tickerheight = parseInt (style.getPropertyValue ('height'));
			}
			// Wird der IE eingesetzt, dann existiert currentStyle.
			else if (tickerbox.currentStyle) {
				// Auch hier wird die Größe des Tickerdivs ermittelt
				tickerboxheight = parseInt (tickerbox.currentStyle.minHeight);
				tickerheight = parseInt (tickerbox.firstChild.currentStyle.height);
			}
			// Oberer Margin initialisieren
			mtop = tickerboxheight;
		}
		// TopMargin und maximale Höhe des Tickerdivs anpassen
		tickerbox.firstChild.style.marginTop = mtop + 'px';
		tickerbox.firstChild.style.maxHeight = tickerboxheight - mtop-- + 'px';
		// Nach Abstand von 1 Pixel wird wieder von vorne begonnen
		if (mtop + tickerheight == -1)
			mtop = tickerboxheight;
	}
	
	// Scrollen der Tickerbox starten
	inter = window.setInterval ('scroll()', 60);
	// -->