Stav dette: Observations of the Hubble Deep Field South with the Infrared Space Observatory - I. Observations, data reduction and mid-infrared source counts