In time, oil lamps were replaced by gas lamps, these in turn were replaced by electric lights in 1883.
עם הזמן, הוחלפו מנורות השמן במנורות גז, ואת אלה החליפו בשנת 1883 אורות חשמל.