function FensterOeffnen (Adresse, FensterWidth, FensterHeight, PosLeft, PosTop, Dauer) {
  var Fensterparameter="width=" + FensterWidth + ", height=" + FensterHeight + ", left=" + PosLeft + ", top=" + PosTop;
  MiniFenster = window.open(Adresse, "MiniFenster", Fensterparameter);
  MiniFenster.focus();
  window.setTimeout("MiniFenster.close()", Dauer);
}
