Leipzig Radio Chorus, Leipzig Radio Symphony ...