World health statistics annual 1980 health personnel and hospital establishments (World Health Organization, 1980)