Question: According to the 2007 census, what was the population of the city in which Trichardt School for Christian Education is located?
Sentence (from "Trichardt School for Christian Education"): The school was founded in 1992 and currently runs its operations from the premises of the football club Estrela Vermelha.
Relevant evidence: No