Toru Takemitsu, BBC Philharmonic Orchestra, Christian Karlsen