function list2toc (element) {
    var next = element.nextSibling;
    var targetList = document.createElement("ul");
    var x = 1 ;
    while (next) {
    if (next.tagName &&  next.tagName.match(/h4/i)) {
            var idx = RegExp.$1 ;

            var alink = document.createElement("a");
            var a = document.createElement("a");
            var alink2prev = document.createElement("a");
            var alink2top = document.createElement("a");
            var alink2next = document.createElement("a");

            var spanlink = document.createElement("span");

            name_prev = "artikel_"+(x-1) ;
            name_next = "artikel_"+(x+1) ;
            name_top = "artikel_"+x++ ;

            a.setAttribute("id",name_top);
            next.appendChild(a);
            alink.setAttribute("href", "#"+name_top);
            var li = document.createElement("li");  
            li.appendChild(alink);
            alink.appendChild(document.createTextNode(next.innerHTML.replace(/<.+?>/g,"")));
            targetList.appendChild(li);

            alink2prev.setAttribute("href", "#"+name_prev);
            alink2prev.setAttribute("title","Zum vorherigen Artikel");

            alink2top.setAttribute("href","#page");
            alink2top.setAttribute("title","Zum Anfang der Seite");

            alink2next.setAttribute("href", "#"+name_next);
            alink2next.setAttribute("title","Zum nächsten Artikel");


            spanlink.setAttribute("style","float: right;");
            next.appendChild(spanlink);

            spanlink.appendChild(document.createTextNode(" "));
            spanlink.appendChild(alink2prev);
            spanlink.appendChild(document.createTextNode(" "));
            spanlink.appendChild(alink2top);
            spanlink.appendChild(document.createTextNode(" "));
            spanlink.appendChild(alink2next);

            if (x>2) {
              alink2prev.appendChild(document.createTextNode("<"));
            }
            alink2top.appendChild(document.createTextNode("^"));
            alink2next.appendChild(document.createTextNode(">"));
        }
        next = next.nextSibling;
    }
    element.appendChild(targetList);
}

var element = document.getElementById("toc");
element.innerHTML = "" ;
var inhaltvz = document.createElement("strong");
inhaltvz.appendChild(document.createTextNode("Inhalt"));
element.appendChild(inhaltvz);
list2toc(element);