public records office; archives
Refers to a government-run facility that preserves and provides access to official documents and historical records.
I researched Edo-period materials at the National Archives.
Old administrative documents are preserved at the public records office.