punch button-operated - German English Dictionary