för befästningar vid Bergen — 250,000 kr.