Stereo to Mono: How to Downmix Without Losing Anything