Radio-Symphonieorchester Berlin, Franz Bauer-Theussl