Double portrait of Michiel de Roode (1685-1771) and Jan Punt (1711-1779) with a portrait miniature o (1738)