Ole Rudi (1908-1985)