WDR Sinfonieorchester / Richard Kraus / Bernd Aldenhoff / Josef Greindl