Benedikt, Michael, 1935-2007