dä huru många pumpar , som på ea gång böra användas , äfvensom deras hastjghet.