20020508 city.bengaluru: Mine workers call off strike