Marinens hovedverft, kap. 3009, bg.innst. S. nr. 160, S.tid. 1339—42. [Ang. visse lønnsutgifters m. m. størrelse i forhold til andre bedrifter.]