Holland Symfonia, Otto Tausk & Henny Vrienten