( 5873 ) RUDOLF WALL.