Berlin Radio Symphony Orchestra, Berlin Radio Choir, Helmut Koch