I learned this song in 3rd grade music class in the early 70s in Iowa. I remember all we were told about it was that Pretoria was in Africa. The history of the song is interesting but I still have no clue why so many people around my age were taught/sang it in early elementary school.