// JavaScript Document

function sprachwechsel ()	
	{	
		var adresse = document.URL;	
		var deu = adresse.search(/deutsch/);	
		var eng = adresse.search(/english/);	

	if	(deu != -1)		
	
		{		
		enadr = adresse.replace(/deutsch/,"english");	
		document.location.href = enadr;		
		}	

	else	if(eng != -1)

		{	
		deadr = adresse.replace(/english/,"deutsch");

		document.location.href = deadr;
		}
	}