Hans Rudi (1912-1977)