Old Derby porcelain and its artists-workmen