Inhabitants per man-years in municipal public libraries