flyttningen af k. operans musikbibliotek.