[s] in Pretoria.
