Peter Demetz [*1922 ]