Isak Henningsen (–1759) — 2 public-domain works