benämningen " riksbiblioteket " , som utskotteti