Hans Josephsohn
1920-2012