record office
/ˈrɛkɔːd ˌɒfɪs/(also records office)
noun
An office or building in which official records are kept; the archive of the official records of a government or other institution; specifically (with the and capital initials) the Public Record Office in London.
Origin
Mid 17th century; earliest use found in John Lilburne (?1615–1657), Leveller. In some forms from record + office. In some forms from the plural of record + office.