20010830 city.bengaluru: HAL museum opens