DOKK1, the new library in Aarhus.