Hilversum Radio Orchestra & Paul van Kempen