Mediaspace, a parametric design for the new public library for the city of Arhus