\def\@charset{ISO-8859-13} \@set@translators{mappings/ISO-8859-13.map}