( 3880 ) Carl F. Cedergren.