an industrial theme in antique painting .