Frank Martin, Berliner Symphoniker, Alois Koch