In 1888, that lamp was replaced with a mineral oil (kerosene) lamp.
1888年にそのランプは鉱物油（ケロシン）ランプに取り換えられた。