Ein Deutscher namens Stockmann ließ „Punch“ als Marke bereits 1840 registrieren. Benannt hatte er sie damals – bereits mit Blick auf den britischen Markt - nach „Punch & Judy“, der englischen Version des deutschen Kasperltheaters aus dem 19. Jahrhundert, das zu dieser Zeit vor allem in Englands Seebädern beliebt war. Dabei werden von einem, höchstens zwei Handpuppenspielern kurze Szenen aufgeführt, deren Hauptdarsteller Mr. Punch und seine Frau Judy....