以下哪个名字是南非约翰内斯堡（Johannesburg）的简称?