Resten införlifwades med kejserliga biblioteket.