var h3_tags = document.getElementsByTagName('h3');
var anzahl_h3_tags = h3_tags.length;
var ausgabe = "";
var adresse = "h3titel";
for (i=0;i<anzahl_h3_tags;i++){
element1 = h3_tags[i].innerHTML;
verlinkung = "<a name='" + adresse + i + "'>" + element1 + "</a>";
h3_tags[i].innerHTML = verlinkung;
ausgabe=ausgabe + "<a href='#" + adresse + i + "'>>></a> " + element1 + "<br />";
}
document.getElementById("verzeichnis-s").innerHTML = ausgabe;