— Ole Bull död.