Men nu ligger biblioteket der det ligger,