dykeribolag mot 25,000 kr.