( 3725 ) Wilhelm Petieessei »,