Degen voor Staatse infanterie, Nederland, 1690-1710 Degen, 1700-1730 Houwdegen compagnie ritmeester Van Dongen, Nederland, 1727-1740
