att den största werksamhet räder inom krigs- och marinministeriet,