Militärausgaben weltweit leicht gesunken