im Browser geöffnete MP3-datei abspeichern

Hallo,
mein Bruder hat einen iPod (iOS 12) bekommen und dort Firefox installiert.
Jetzt möchte er die im Browser geöffnete MP3-Datei lokal abspeichern.
Ich komme da leider auch nicht weiter.
Gibt es da eine Option, dies zu tun?
LG pcfan1234