om höjning af krigsbudgeten från 17 till 25 millioner visar.