Infanterie-Offiziersdegen alter Art