Totalbeloppet af Texelslnten den 13 Juli.