De Givry, of the Dutch Army