till päbörjande af Kristiansands befästande — 400,000 kr.