riksbiblioteket meddelades redan den 13 juli 1875.