Muon cooling at PSI | Synapse