Instrumentalensemble des Rundfunk-Kinderchors Leipzig