<!--
	//navigation_1.js - version date 25 mai 2003
	if (!navigator.javaEnabled())
	{
		document.writeln("Java ist nicht eingeschaltet!")
	}
	
	 
	function txt_over(text)		//(c) erhard sigrist 
	{		
		if (document.getElementById(text).className=="normal_")		
		{
			document.getElementById(text).className="hover";	
		}		
	}
		
	function txt_out(text)
	{	
		if (document.getElementById(text).className=="hover")
		{
			document.getElementById(text).className="normal_";
		}
	}	
//-->