A part of local history.