Byggnadsnömdens dito 4,100 kr.