function correct_layout() {
if(document.getElementById('content').offsetHeight) {
  var div_heights = new Array(
    document.getElementById('content').offsetHeight,
    document.getElementById('features').offsetHeight);
    div_heights = div_heights.reverse(div_heights.sort(num_sort));
var style_height = div_heights[0] + "px";
document.getElementById('content').style.height = style_height;
document.getElementById('features').style.height = style_height;
}
}
function num_sort(a,b) {
return a-b;
}

function ladMirEinBild (bild,id) {
 /* Diese Funktion lädt ein Bild auf Klick nach, tauscht also Bilder aus.
 ich verwende sie, um die den DIV für die grossen Bilder mit dem jeweiligen
 Bild zu versorgen, wenn man auf den korrespondierenden Thumb klickt. */
 var grossBild = new Image()
 grossBild.src = bild;
 var neuesbild = document.getElementById(id);
 neuesbild.src = grossBild.src;
 /*neuesbild.height = hutziwutzi.height;
 neuesbild.width = hutziwutzi.width; */
}