Added utf-8 encoding to translation manual