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.