NIS: gewerkte uren industrie oktober -3,7%, bouw -3,3%