function ChangeMap(nr) {
  obj = document.getElementById('karte');
  obj.tempKarte = obj.src;
  obj.src = 'images/landkarten/'+nr;
}

function DeHighlightMap() {
  obj = document.getElementById('karte');
  obj.src = obj.tempKarte;
}