Audiospur aus Datei mit Endung .ogg extrachieren?

[Peter Voigt]

Korrektur eines Typos:

> "oggdec datei.ogg"
 
was im aktuellen Verzeichnis eine neue Datei gleichen Namens mit der Endung ".wav" (und nicht ".ogg") erzeugt.