begin of translation of manual.html