African crickets (Gryllidae). 4. The genus Platygryllus from eastern and southern Africa (Gryllinae, Gryllini). Proceedings of the Academy of Natural Sciences of Philadelphia, 136 1984: 45-66. 55 [Zoological Record Volume 121]