/*
 * Prueft, ob das komplette Frameset geladen wurde. Falls nicht,
 * wird der Benutzer zur Startseite umgeleitet
 * Top_frame_loaded wird in der Datei nr.js gesetzt, welche von allen 
 * "Hauptseiten" inkludiert wird.
 */
onload = function 
checkEntryPoint()
{
	if(!top.top_frame_loaded) {
		document.location.href = "../index.htm";
	}
}