WDR Sinfonieorchester Köln / Richard Kraus / WDR Rundfunkchor Köln / Josef Greindl / Peter Anders