function showKarte(imgName){if(document.getElementById){document.getElementById('Deutschland_01').src="/img/map/"+imgName;}}