Polydesmidae aus KENIA [Ctenodesmus pectinatus]