Title: A brief history of platen presses