punch-marking - German English Dictionary