4000 Tuneser äro den 20 Okt.