By which of the following is the attached vacuum pump of a ballast pump driven?