( 1231 ) Rot ).