Gre Brouwenstijn, Dutch Radio Philharmonic Orchestra, Paul van Kempen