Redirecting to 25 mm Hotchkiss anti-tank gun