af ett anslag af åtta millioner för befästandet af Diego Suarez.