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