till päbörjande af Kristiansands befästande — 400.000 kr.