( 752 ) Otto Petterson.