ticket punches - German English Dictionary