Title: A history of the photographic lens