The Art of Egon Petri (1922-1960)