function zeigeBild (url, breite, hoehe)
{
  var breiteGesamt = breite + 28 + 28;
  var hoeheGesamt = hoehe + 28 + 28;

  var bildschirmBreite = 0;
  if (window.innerWidth) bildschirmBreite = window.innerWidth;
  else bildschirmBreite = document.body.clientWidth;

  var bildschirmHoehe = 0;
  if (window.innerHeight) bildschirmHoehe = window.innerHeight;
  else bildschirmHoehe = screen.availHeight;

  var abstandLinks = Math.floor ((bildschirmBreite - breiteGesamt) / 2);
  if (abstandLinks < 0) abstandLinks = 0;

  var abstandOben = Math.floor ((bildschirmHoehe - hoeheGesamt) / 3);
  if (abstandOben < 0) abstandOben = 0;

  // Seite grau machen

  document.getElementById ("hintergrundBildGross").style.height = "100%";
  document.getElementById ("hintergrundBildGross").style.width = "100%";
  document.getElementById ("hintergrundBildGross").style.visibility = "visible";

  // Div fuer Grossbild einstellen

  document.getElementById ("bildGross").style.height = hoeheGesamt + "px";
  document.getElementById ("bildGross").style.width = breiteGesamt + "px";

  document.getElementById ("bildGross").style.marginLeft = abstandLinks + "px";
  document.getElementById ("bildGross").style.marginTop = abstandOben + "px";

  document.getElementById ("a2").style.width = breite + "px";
  document.getElementById ("b2").style.width = breite + "px";
  document.getElementById ("c2").style.width = breite + "px";

  document.getElementById ("b1").style.height = hoehe + "px";
  document.getElementById ("b2").style.height = hoehe + "px";
  document.getElementById ("b3").style.height = hoehe + "px";

  document.getElementById ("b2img").height = hoehe;
  document.getElementById ("b2img").width = breite;
  document.getElementById ("b2img").src = url;
  document.getElementById ("b2").style.backgroundColor = "#ffffff";

  document.getElementById ("bildGross").style.visibility = "visible";
}

function schliesseBild (url, breite, hoehe)
{
  document.getElementById ("hintergrundBildGross").style.height = 0;
  document.getElementById ("hintergrundBildGross").style.width = 0;
  document.getElementById ("hintergrundBildGross").style.visibility = "hidden";

  document.getElementById ("bildGross").style.height = 0;
  document.getElementById ("bildGross").style.width = 0;
  document.getElementById ("bildGross").style.visibility = "hidden";

  document.getElementById ("b2img").src = "files/darmstadt/erweiterungen/grossbild/leer.gif";
  document.getElementById ("b2img").height = 1;
  document.getElementById ("b2img").width = 1;
}