/* +++ Änder die Sprache der Navigation +++ */
function changeSprache()
{
	var newLoc;//Zunächst ein eventuelles #-Zeichen löschen
	if(window.location.href.indexOf("#")!=-1)
	{
		var locationUrl=window.location.href;
		newLoc=locationUrl.substr(0, locationUrl.length-1);
	}else{
		newLoc=window.location.href;
	}
		
	if(newLoc.indexOf("?")!=-1)//Dann die Sprachänderung übergeben
	{	
		window.location.href=newLoc+"&sprache=change";
	}else{
		window.location.href=newLoc+"?sprache=change";
	}
	
}