English–German dictionary

German translation of the English word ticket punching machine