Belt splicing machines