opera- eller musikbiblioteket eger en fullständig samling af alla de operor och baletter , som sedan operans stiftande 1671 blifvit utförda der.