Dood van Charles de Boisot, 1575, Theodoor Koning, naar Jacobus Buys, 1785