Export to DOST - allow to chose bottom margin - thx Andreas :)
Allow DefaultFileEncoding to be a number, like 1252