( 8020 ) Carl Th . Petterson.