Amrize (AMRZ) — Short Interest