det efter branden 1888 nybildade biblioteket.