<!--
function switch_weltkarte(kontinent) {
  if(kontinent) {
    document.getElementById('weltkarte').src = '/fileadmin/user_upload/Content/_Allgemein/weltkarte_'+kontinent+'.gif';
  } else {
    document.getElementById('weltkarte').src = '/fileadmin/user_upload/Content/_Allgemein/weltkarte.gif';
  }
  removeFocus();
}
//-->