sammanlagda kostnaden 21,184 och för Dresdens 25,056 kr. , hvadan alltså vårt bibliotek vore vida bättre lottadt.