Originally they were saved in Corel's *.cdr-format (vectors), but here they are converted to *.gif (pixels).
Jo Forthun.