Ole Bull afslöt den 12 dennes—