Christopher Gibbs — antiques dealer and collector (1938–2018)