( 4392 ) Rudolf Wall.