Infanteriedegen, 1741 Infanterie degen, 1700-1725 Degen, 1700-1710 Degen voor Staatse infanterie, Nederland, 1690-1710 Degen, 1700-1730