//wenn die Seite nicht im Frameset geladen wird, wird automatisch das frameset geladen


function framecontrol(url)
{
if(top.frames.length == 0)
{
// alert("Diese Seite wurde als Teil eines Framesets konzipiert,\n"+ "deshalb wird jetzt das Frameset geladen!\n"+ "Sie können dann die gewünschte seite über die Navigationsleiste erreichen.");
top.location.href=url;
}
}