( 12708 ) Wilhelm Lamprecht.