Paul Grimm (1907-1993). (1993)