Original: In time , oil lamps were replaced by gas lamps , these in turn were replaced by electric lights in 1883 .
Simplified: Later , oil lamps were replaced by gas lamps . In 1883 electric lights were put in .