Bades ciu. de Arabia Feliz, Ptol.Geog.6.7.30.