den 17 d:s behandlades och antogs marinbudgeten.