Frå hovudregister:
Om bev. til hæren og marinen, st. prp. nr. 85, innst. S. LI A, 1659-64 2355 [Bev. på ekstraord. budgett VII for marinens vedk. til: hovedverftet, bygningsvesenet, minevesenet, 1ste sjømil, distriktskommando, sjøkrigsskolen, intendanturen, sanitetsvesenet — i det vesentlige til byggearbeider (tils. 788 500 kr.).]