Question: What was the filename extension?
Sentence: The filename extension .mp3 was chosen by the Fraunhofer team on 14 July 1995 (previously, the files had been named .bit).
Answer in sentence: yes