20170804 city.agra: When Agra's amateur EDM artists met with industry stalwarts