function cKarte( Name ) {
	document.getElementById('karte').src = '../img/' + Name;
}

function en_cKarte( Name ) {
	document.getElementById('karte').src = '../img/en_' + Name;
}