Facts and figures on public libraries