Approval.

de/marking_types.php

@@ -14,3 +14,5 @@ $marking_types['screwed'] = 'Geschraubt';
 $marking_types['burnt_in'] = 'Eingebrannt';
 $marking_types['riveted'] = 'Angenietet';
 $marking_types['nailed'] = 'Genagelt';
+$marking_types['hallmarked'] = 'Gepunzt';
+$marking_types['punched'] = 'Gestanzt';