[756] Panzerbrecher wurde ein Dolch genannt von circa 40 cm Länge; Panzerstecher ein einschneidiger, spitzer Stossdegen.
Meyers-1905: Panzerbrecher