I straced mplayer and it seems to have the same issue mpg123 has. So we can rule that out. But yet that one does have sound
I couldn't analyze it deep enough yet, but I upload it so that you can check it out.
Thanks a lot for your help! I am learning a lot, and I hope I can do something useful with this...