Renumber elements (renaming them) and generate a text file for
back annotation.

#state: works
#default: buildin
#implements: (feature)
