a place in which public records or
historical materials (such as documents)
are preserved.