Anton Ingolič (1907-1992)