tillsyningsmannen anläggas för en beräknad kostnad af 20 000 kr.