// JavaScript Document
function en() { 

	var vormals = document.URL; 
	var jetzt = vormals.replace(/_de/,"_en"); 
	window.location=jetzt; 
	}

function de() {

 var vormals = document.URL;
 var jetzt = vormals.replace(/_en/,"_de");
 window.location=jetzt;

	}