den 12 dennes sysselsatt sig med marinens och koloniernas budget.