function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

function back_or_close() {
	if (self.name == "bf") {
		document.write("<a href=\"javascript:self.close();\">Fenster schließen</a>\n");
	} else {
		document.write("<a href=\"javascript:history.go(-1);\">Zur&uuml;ck</a>\n");
	}
}