BBC Music Magazine Radio & TV listings 2018-07-12 - Full BBC Radio 3 listings plus television highlights