How many species of fungi are there at the tip of Africa?