Belgie: productie industrie juli +3,8%, productie bouw -0,1%