Det war Ole Bulls herrliga musik,