Hans Julius Riddervold — Norwegian businessman