Norsk historisk kjeldeskrift-institutt. Den Rettshistoriske kommisjon