just då Ole Bull spelade.