The Manhattan Transfer, WDR Funkhausorchester