I want to know the answer to the following question:
What was the filename extension?
All the background I'm provided with is that "The filename extension .mp3 was chosen by the Fraunhofer team on 14 July 1995 (previously, the files had been named .bit).". Is that enough to answer the question?
Answer: yes