<!--


function AktivierteSprache(sprache, n){

if (document.getElementById(sprache)) {								// Wenn Objekt bereits geladen, Klasse zuweisen
	document.getElementById(sprache).className = 'mainmenu_current';
}
}


function zeige_kontaktmenue(sprache) {
	document.getElementById('kontaktmenue_'+sprache).style.display = '';
}

//-->