Degenkling, Midden-Europa, 1700-1800 Infanterie degen, 1700-1725 Degen voor Staatse infanterie, Nederland, 1690-1710