Janez, Stanko, 1912-