void init_besetzton(void);