( 3157 ) Carl «o.