skall en särskild maskinhall uppföras för en kostnad af 20,000 kr.