Ole Rudi (1908-1985)/descendants