tjensteman i riksarkivet och k. biblioteket.