den 15 november antogs efter åtskilliga lifliga öfverläggningar marindepartementets budget.