hela marinens strafflag , både for så vidt den ror krigs- och handelsflottan.