The dust has finally settled after a three-year, 11 million kroner renovation of the Royal Danish Library in Aarhus.