Europa trekt 7,9 miljard euro uit voor echte gemeenschappelijke defensie