The English term "Pretoria" matches the Dutch term "Pretoria"