20170511 entertainment.english.music.news: Trance pioneer Robert Miles dead at 47