in Pretoria [n].
