von engl. puncher Boxen Puncher kraftvoll schlagender Boxer Locher Lochmaschine Kartenlocher Handlocher Tastaturlocher für Lochkarten Person, die die Lochkarten für die Computer-Eingabe bearbeitet