A short history of the rainbow