marindepartementets en ökning af 4 ^ mill.