re_format(glossar.html) - phpMan