if (top.geladen != "okay")
top.location.href = "de_index.html";
//-->