( 8490 ) Julius Thor« ; u.