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