Seasonal variations of the atmospheric muon neutrino spectrum measured with IceCube IceCube Collaboration Eur. Phys. J. C, 85 12 (2025) 1368 Published online: 01 December 2025 DOI: 10.1140/epjc/s10052-025-14844-0