Defensie trekt 25 miljoen euro extra uit voor opknapbeurt kazernes