Turnover of Dutch manufacturing industry up by almost one quarter