Seasonal Variations of the Atmospheric Muon Neutrino Spectrum measured with IceCube | Synapse