kongl , bibliotekarie .»