Dubravka Tomsic, Radiosymphonieorchester Ljubljana, Anton Nanut