NDR Elbphilharmonie Orchester, North German Radio Symphony Choir & Jerusalem Symphony Orchestra