This is how I tried to embed the file:
But that didn't work. A button appears but clicking on it does nothing.
After some examination with Firebug I noticed that the wgOggPlayer was not even loading.
So I tried to load it manually with:
And lo and behold. Suddenly the player appeared when I clicked the button and the sound could be played.
Is that expected behaviour? Or am I missing something?