Were Friedrich Dürrenmatt and Joseph Heller's most famous works dramatizations of events in World War II?