( 71511 Wilhelm Lamprecht.