det samlade Europas krigsbudget årligen.