Peak weekly opening hours of UK HE 'main' libraries (public)