"punch-mark" Deutsche bedeutung