( 3133 ) J . O. Thomsen.