20010620 city.bengaluru: Mining sector behind the times