20190515 city.varanasi: Disciples of Girija Devi gave her a befitting tribute