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