20141101 city.bengaluru: It is official: Bangalore becomes Bengaluru