Model calculations for a pushbroom stereo camera the case of the Mars 94 high resolution stereo camera (HRSC) - Buma, Marc (Wiss. Berichtswesen der DLR, 1990)