Most of us at some time or other convert an audio recording to the more compact mp3 format for storage, or for play-back on mp3 players, or for sending audio files through web-space. Mp3 is very convenient for this but is what is known as a “lossy” f…