— Ole Bull är död.