Kraus, Hans Peter, 1907-1988