varit chef för k. biblioteket.