Fehler in list_int.c ausgebessert