groff_char(glossar.html) - phpMan