A Former Aarhus Public Library Is Transformed into a Luxury