TETRA ENQUIRY

Hello!
I have a problem in finding the total full rate speech users that a TETRA carrier of 25kHz can support. E.g.: 4 channels (I think it has) x ?users per channel= …
Thanks a lot!