Krigs- och marinbudgeten uppgårtill