Paper-box-cutting-machines