New species of African Hymenoptera. No. 9.