Багерный насос. Большая российская энциклопедия