( 10252 ) Alfred Horst.