"marking punch" Deutsche bedeutung