— Nybyggnad för riksbiblioteket.