( 3042 ) Carl Art. Widman.