Bøckman, Knut Anton, Systemkonsulent, Det Kongelige Bibliotek