Hollands krigsbudget stiger nu till72