Paintings in Dutch museums : an index of oil paintings in public collections in the Netherlands by artists born before 1870