Ole Bull , hwilken egentligen hette OleBornemann