( 759 ) Rudolf Wall.