function correct_layout() {
  hoehe_links = document.getElementById("main_links").offsetHeight;
  hoehe_rechts = document.getElementById("main_rechts").offsetHeight;
  
  if(hoehe_links > hoehe_rechts) {
  		document.getElementById("main_rechts").style.height = (hoehe_links-15) + "px";
   }
  else {
      document.getElementById("main_links").style.height = (hoehe_rechts-15) + "px";       
  }
 }