mastinhall uppföras för en kostnad af 20,000 kr.