som af försäkringsbolaget Agir skall utbetalas till dykeribolaget " Neptun " , uppgär till 8,000 kr.