dykeribolag mot 25,000 kronors bergarlön.