militärbudgeter uppgäende till 3,182 millioner francs.