Vi anmärkte häromdagen i förbigående , att förändringen af benämningen » Kungligabiblioteket