print(Set_of_Link.tostring(Hmd.get_link(index_hmd)));
print(Set_of_Link.tostring(Hmd.get_link(index_al_hmd)));
print(Set_of_Link.tostring(Hmd.get_link(index_oa_hmd)));

val index_al_hmd = add_link
  (Mklink(Set_of_Specifier.fromlist
	    [Mkspecifier("hyko/index.hmd","Hyko_Start")],
          Set_of_Specifier.fromlist
            [Mkspecifier("hyko/index_ziel.hmd","Hyko_Ziel")],
          Uni(Replace,User), 
          Attribute.Mkattribute([])))
          index_a_hmd

val index_aln_hmd = add_link
  (Mklink(Set_of_Specifier.fromlist
	    [Mkspecifier("hyko/index.hmd","Gib_es_nicht")],
          Set_of_Specifier.fromlist
            [Mkspecifier("hyko/index_ziel.hmd","Hyko_Ziel")],
          Uni(Replace,User), 
          Attribute.Mkattribute([])))
          index_a_hmd

val index_a_hmd = add_anchor
                 "Hyko_Start"
                 (Mkanchor([1,1,1,1],Source,Attribute.Mkattribute([])))
                 index_hmd

val index_oa_hmd = del_anchor
                     "Hyko_Start"
                     index_a_hmd

dom_from_anchor_id_to_anchor(
  get_anchors 
    index_a_hmd)

dom_from_anchor_id_to_anchor(
  get_anchors 
    index_oa_hmd)

ran_from_anchor_id_to_anchor(
  get_anchors 
    index_a_hmd)

ran_from_anchor_id_to_anchor(
  get_anchors 
    index_oa_hmd)