af Switzers dykeribolag mot 25,000 kr.