vacuum pumps; vacuum pumping stations comprising a plurality of vacuum pumps; replacement parts and accessories for vacuum pumps, namely, oil separators, dust separators, filters, pumps