Degen, Duitsland, 1700-1750 Degen, Amsterdam, na 1747 met gevest uit 1720 Houwdegen stadhouderlijke garde, Nederland, 1701-1747
