marking punch - German English Dictionary