extern int differenz(void);