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