function change_info(text) {
  document.getElementById('standortinfo').innerHTML = document.getElementById(text).innerHTML;
}