Ole was a very common name in Norway in the late 1800s. It ranked #1 in 1880, 1885, 1890, 1895, 1900, and 1905. It came in at #4 in 1910 (behind Olav, Arne and Johan), #7 in 1915, #8 in 1920, and was out of the top ten by 1925. It had a brief comeback in the 1970s, ranking #10 in 1975, #8 in 1980, and #9 in 1985.
https://www.beliebte-vornamen.de/4405-ole.htm
https://www.behindthename.com/name/ole/top/germany-berlin
https://de.m.wikipedia.org/wiki/Ole_(Vorname)
https://en.m.wiktionary.org/wiki/Ole#German
https://de.m.wikipedia.org/wiki/Ole_Bischof
https://de.m.wikipedia.org/wiki/Ole_K%C3%B6nnecke
https://de.m.wikipedia.org/wiki/Ole_Eisfeld
https://de.m.wikipedia.org/wiki/Ole_von_Beust