Ton abgreifen vom HDMI-Ausgang eines Notebooks?

Moin moin.

Hab mir heute ein neues Notebook gekauft, ein Samsung X22. An sich ein feines Teil, auch wegen des HDMI-Ausganges, wo auch der digitale Ton ausgegeben wird - dummerweise aber nirgendwo anders! Es gibt also anscheinend keinen SPDIF, auch nicht über einen Ministecker (so einen optischen) am Kopfhöhrerausgang.

Nun habe ich also das Problem, dass ich gerne digitalen Ton über meine Surroundanlage genießen würde, aber mein rund 3 Jahre alter Receiver hat keine HDMI-Eingänge. Zuerst dachte ich ja, dass ich das ganze einfach ganz normal am TV anschließe (ein brandneuer Samsung LE-40A557) und der dann die digitalen Audiosignale über den optischen Ausgang rausgibt. Aber leider scheint der optische Audioausgang nur vom integrierten DVB-T-Modul angesprochen zu werden.

Meine Frage ist nun, ob es irgendwelche speziellen Kabel gibt, mit denen man vom HDMI den Ton abgreifen kann, um dort dann Toslink oder Coax-Kabel anzuschließen, so dass das HDMI-Kabel dann das Bild weiter zum TV führt.

Also quasi ein Teiler, der aus dem HDMI-Ausgang meines Notebooks einen HDMI- und einen digitalen Audioausgang macht.

Hoffe ihr könnt mir helfen.