Orchestr Čs. televize, Mirko Krebs