function getPath(url) {
        hostBegin = url.indexOf("//") +2;
        hostEnd = url.indexOf("/",hostBegin);
        path = url.slice(hostEnd);
        return path;
    }

    function checkFrameset() {
        if (top.frames.length < 4 ||
            top.location.href.indexOf("//www.arbogast.at/") == -1) {
            return false;
        }
        return true;
    }

    if (!checkFrameset()) {
        if (navigator.appName == "Microsoft Internet Explorer") {
            // Internet Explorer doesn't send HTTP Referrer Informations,
            // so we need to tell the frameset which document to load explicit
            top.location.href = "http://www.arbogast.at/deutsch/?page="+getPath(top.location.href);
        } else {
            top.location.href = "http://www.arbogast.at/deutsch/";
        }
    }