Om ni en dag beBÖkt riksbiblioteket , eller , som det officielt heter ,k.