Old Master Paintings in Britain: An Index of Continental Old Master Paintings Executed Before C. 1800 in Public Collections in the United Kingdom