the south african city of pretoria then named it