WDR Sinfonieorchester / Luciano Berio / Cologne Radio Chorus / Herbert Schernus