WDR Sinfonieorchester Köln / Richard Kraus / WDR Rundfunkchor Köln / Josef Greindl / Carl Kronenberg / Gunther Ambrosius