The nickname for Pretoria is Jacaranda City. There's a hospital and radio station also called Jacaranda and it is named so as the streets are lined with Jacaranda Mimosifolia.
I'd have loved to have taken more photos on my travels in Pretoria this spring, but just stopping on the side of the road in South Africa to whip out an expensive camera and take photographs is really not recommended. I certainly don't want to risk getting hijacked just to show you the lovely purpleness of the city.
Jacarandas aren't native to here and are considered an invader, introduced from Brazil in 1829 there is now a total ban on planting any new trees, but existing Jacarandas do not have to be eradicated. it is estimated that there are 70,000 Jacarandas growing around the city. They are in full flower between September and November which is spring time in South Africa.